| |
| description |
Ce cours est destiné aux notions de base. Afin que vous puissiez profiter pleinement de ce cours nous laissons parlé son auteur, chargé de recherche au CNRS : "À la différence des livres habituels d'introduction à la logique, ce document hypertexte permet de
revisiter la définition d'une notion (p.ex. lorsqu'elle est employée dans un théorème ou une définition plus complexe),
lire (ou ignorer) les exemples, remarques, annexes et notes, et de
suivre des renvois vers d'autres sections.
L'itineraire recommandé est :
passer à partir du plan à un chapitre (ou une section dans un chapitre)
|
| y lire les définitions, théorèmes et remarques
|
| suivre les liens vers d'autres remarques si vous voulez (typiquement si vous les avez déjà lu mais vous en rappellez pas bien)
|
| suivre les liens vers introduction et motivation' et exemple' si il y a des difficultés ou des doutes
|
| suivre les liens vers annexe' et démonstration' si vous voulez approfondir.
Par contre, il ne fait pas trop de sens d'imprimer ce cours sur papier (déjà à cause de la pagination arbitraire)
N.B. : Ce cours ne contient pas de démonstrations pour les théorèmes (bien que l'idée de la démonstration soit parfois donnée) : lire une démonstration un peu longue sur un écran n'est peut-être pas une très bonne idée
|
| il semble que les liens hyper-texte n'ameliorent pas la lisibilité d'une manière significative".
|
| publisher |
Université de Franche-Comté : Besançon
|
| contributor |
Herzig
|
| format |
url
|
| coverage |
France (métropolitaine)
|
| subject |
Mathématiques -510
|